CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City,...
Theorem Proving In Higher Order Logic 17th International Conference, Tphols 2004, Park City,... by Slind, Konrad, Bunker, Anne... ISBN: 9783540230175 List Price: $67.00
$52.33 (Save 21%)
2.
A Treatise on Turbomachines
A Treatise on Turbomachines by Ganesh C. Gopalakrishnan ISBN: 9788187328988

OUT OF STOCK

See Availability on Amazon
3.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Slind, Konrad, Bunker, Anne... ISBN: 9783662211625 List Price: $24.99

OUT OF STOCK

See Availability on Amazon